Transition systems
نویسندگان
چکیده
data type, 23 algorithm, 18 correctness of, 34 decorated, 35 method of, 34 name of, 34 parameters of, 34 specification of, 34 terminates, 39 time complexity of, 49 valid, 36 valid for a process, 35 worst-case expected time complexity of, 50 worst-case time complexity of, 50 ArrayMax, 48–50 assertions, 32 base case, 9 binary relation, 4, 8 reflexive closure of, 8 transitive closure of, 8 BinarySearch, 55, 56, 75 combinatorial problem, 16 Commands, 33–35 commands, 31 configurations, 1, 4 dead, 6 constant clause, 45 Delete, 23, 25 Dictionary, 23, 25 divide-and-combine, 58 DutchFlag, 62–64, 67–69 dynamic processes, 1 edges, 22 Euclid, 18, 33–35, 38, 39, 41, 43, 50 Expressions, 20, 21 ExtendedEuclid, 41, 43 Factorial, 43, 45, 46 Football, 8, 10 games, 14 grammar, 20 context-free, 20 graph traversal of, 22 GraphColoring, 23 graphs, 22 undirected, 22
منابع مشابه
The Exact Solution of Min-Time Optimal Control Problem in Constrained LTI Systems: A State Transition Matrix Approach
In this paper, the min-time optimal control problem is mainly investigated in the linear time invariant (LTI) continuous-time control system with a constrained input. A high order dynamical LTI system is firstly considered for this purpose. Then the Pontryagin principle and some necessary optimality conditions have been simultaneously used to solve the optimal control problem. These optimality ...
متن کاملA Game Theoretic Approach for Sustainable Power Systems Planning in Transition
Intensified industrialization in developing countries has recently resulted in huge electric power demand growth; however, electricity generation in these countries is still heavily reliant on inefficient and traditional non-renewable technologies. In this paper, we develop an integrated game-theoretic model for effective power systems planning thorough balancing between supply and demand for e...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملAnalyzing ways of transition in the pattern of urban growth
Today each city due to natural limitations, facilities and planning policies has different growth pattern which according to its spread, has different consequences and results. Although there is a wide range of urban growth patterns, but the important thing is not diversity and number of models but is the absence of rules and methods of transition from one to another pattern (form). So this art...
متن کاملInnovation in the Agro-Food Sector: from Technical Innovation-Centred Approaches to Sustainability Transition Processes
Innovation is a complex phenomenon and process involving translation of knowledge into new techniques, products, services. It is considered crucial for sustainable agriculture development and achievement of long-term food security. The review describes the diversity of innovation and relates it to agro-food sector. It also sheds light on different innovation models and explores their contributi...
متن کاملبررسی اثر کمبود اکسیژن، گذار فاز ساختاری ارتورمبیک - تتراگونال و ساختار نوار انرژی در ترکیب YBa2Cu3O7-& delta
Obtaining the superconductor samples or mainly, structural phase controlling in 123 systems is a matter of special importance. As decreasing of oxygen in this structure has special effects, and mainly causing structural phase transition, by investigating the structure and thermal analysis of the system, tetragonal-orthorhombic structural phase transition was observed and optimum contents of s...
متن کامل